Flexible Policy Construction by Information Re nement
نویسندگان
چکیده
We report on work towards exible algorithms for solving decision problems represented as in uence diagrams An algorithm is given to construct a tree structure for each decision node in an in uence diagram Each tree represents a decision function and is constructed incrementally The decision maker can balance the cost of comput ing the next incremental improvement to a tree against the expected value of the improvement The improvements to the tree converge to the optimal decision function computed by dynamic programming techniques and the asymptotic behaviour is only a constant factor worse than dynamic programming techniques counting the number of Bayesian network queries Empirical results show that utility varies with the size of the tree and the number of Bayesian net calculations
منابع مشابه
Enhancing Dependability via Parameterized Re nement
A probabilistic extension of the re nement calculus has been successfully applied in the design of safety-critical systems. The approach is based on a rm mathematical foundation within which the reasoning about correctness and behavior of the system under construction is carried out. The framework allows us also to obtain a quantitative assessment of the attributes of system dependability. In t...
متن کاملEnhancing Dependability via Parameterized Refinement
A probabilistic extension of the re nement calculus has been successfully ap plied in the design of safety critical systems The approach is based on a rm mathematical foundation within which the reasoning about correctness and behavior of the system under construction is carried out The framework allows us also to obtain a quantitative assessment of the attributes of sys tem dependability In th...
متن کاملIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India
ion Re nement for Games with Incomplete Information Counterexample-guided abstraction re nement (CEGAR) is used in automated software analysis to nd suitable nite-state abstractions of in nite-state systems. In this paper, we extend CEGAR to games with incomplete information, as they commonly occur in controller synthesis and modular veri cation. The challenge is that, under incomplete informat...
متن کاملPolicy Authoring and Analysis Processes for Federation Policies
Federations are viewed as persistent agreements between organisations that enable them to share information or capabilities in a controlled manner. Policy based management techniques can be used to support federations of service providers in two ways: 1) policies alleviate the need for expensive human attention in the federation set-up and maintenance processes, and 2) policies can operate and ...
متن کاملAuthentic Re nement of Semantically Enhanced Policies in Pervasive Systems
Pervasive systems are characterised by networked heterogeneous devices. To ful ll the security requirements of an application, these devices have to abide by certain policies. However, as the contingent interaction between devices in all possible contexts within evolving pervasive systems devices cannot be known at development time, policies cannot be dedicated to concrete security mechanisms w...
متن کامل